181. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
پدیدآورنده: Jack Davidson, Sang Lyul Min, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1985
182. Logic and computer science
پدیدآورنده: / S. Homer... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
183. Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computers architecture,، Programming language )Electronic Computers(
رده :
QA
75
.
5
.
B67
1989
184. Logic, language, and computation
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
185. Logic, language, and computation :
پدیدآورنده: Nick Bezhanishvili [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
186. Logic, language, and computation
پدیدآورنده: / Balder D. ten Cate, Henk W. Zeevat (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses
رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005
187. Logic, language, and computation
پدیدآورنده: \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
188. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده: Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
189. Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L595
1984
190. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده: edited by Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
131
191. Logics of Programs Workshop, Yorktown Heights, New York, May 1981
پدیدآورنده: Logics of Programs Workshop, )1891, Yorktown Heights, N.Y.(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
L594
1981
192. Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدیدآورنده: edited by Edmund Clarke and Dexter Kozen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
164
193. Logics of programs and their applications: proceedings, pozan, August 23-29, 1980
پدیدآورنده: Symposium on Logics of Programs and their Applications )0891: Poznan, Poland(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
S91935
1980
194. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
195. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
پدیدآورنده: edited by W. L. van der Poel and L. A. Maarssen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I18
1973
196. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
پدیدآورنده: IFIP Working Conference on Machine Oriented Higher Level Languages, 3791, Trondheim
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I18
1973
197. Machines, languages, and complexity
پدیدآورنده : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 41-81, 8891 : selected contributions ; J. Dassow, J. Kelemen, eds
موضوع : Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
198. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده: Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
199. Manipulation languages, Piss, 1966. Symbol manipulation languages and techniques. Proceedings of the IFIP Working conference on Symbol Manipulation Languages
پدیدآورنده: / edited by Daniel G. Bobrow
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming languages (Electronic computers) - Congresses
رده :
001
.
6424
I11s
1966
200. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
پدیدآورنده: edited by Austin Melton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
239
